From: Stephane Glondu <steph@glondu.net>
Date: Tue, 30 Jun 2026 03:48:29 +0000 (+0200)
Subject: Fix tests with OCaml 5.5.0
X-Git-Tag: archive/raspbian/0.10-2+rpi1^2~1
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=9e6a7f77521f89f15ec43e22a8ed7cd7483cd5e3;p=ocaml-eqaf.git

Fix tests with OCaml 5.5.0

OCaml 5.5.0 introduced Int64.fdiv.

Gbp-Pq: Name 0002-Fix-tests-with-OCaml-5.5.0.patch
---

diff --git a/test/test_branch.ml b/test/test_branch.ml
index 3d8f7c8..1d05199 100644
--- a/test/test_branch.ml
+++ b/test/test_branch.ml
@@ -88,18 +88,18 @@ let[@inline always] select_int choose_b a b =
 
 let time () = Clock.now ()
 
-let fdiv a b = a /. b
+let fdiv a b = Int64.(of_float (floor ((to_float a) /. (to_float b))))
 
 let () =
   let t0 = time () in
   let _  = one_if_not_zero 0x7eadbeef in
   let t1 = time () in
-  let v0 = Int64.(floor (fdiv (to_float (sub t1 t0)) 1000000000.)) in
+  let v0 = Int64.(to_float (fdiv (sub t1 t0) 1000000000L)) in
   Format.printf "[one_if_not_zero 0x7eadbeef]:  %fs.\n%!" v0 ;
   let t0 = time () in
   let _  = one_if_not_zero 0x0 in
   let t1 = time () in
-  let v1 = Int64.(floor (fdiv (to_float (sub t1 t0)) 1000000000.)) in
+  let v1 = Int64.(to_float (fdiv (sub t1 t0) 1000000000L)) in
   Format.printf "[one_if_not_zero 0x0]:         %fs.\n%!" v0 ;
   if v0 = v1
   && int_of_float v0 = one_if_not_zero_ops
@@ -110,12 +110,12 @@ let () =
   let t0 = time () in
   let _  = zero_if_not_zero 0x7eadbeef in
   let t1 = time () in
-  let v0 = Int64.(floor (fdiv (to_float (sub t1 t0)) 1000000000.)) in
+  let v0 = Int64.(to_float (fdiv (sub t1 t0) 1000000000L)) in
   Format.printf "[zero_if_not_zero 0x7eadbeef]: %fs.\n%!" v0 ;
   let t0 = time () in
   let _  = zero_if_not_zero 0x0 in
   let t1 = time () in
-  let v1 = Int64.(floor (fdiv (to_float (sub t1 t0)) 1000000000.)) in
+  let v1 = Int64.(to_float (fdiv (sub t1 t0) 1000000000L)) in
   Format.printf "[zero_if_not_zero 0x0]:        %fs.\n%!" v0 ;
   if v0 = v1
   && int_of_float v0 = zero_if_not_zero_ops
@@ -126,12 +126,12 @@ let () =
   let t0 = time () in
   let _  = select_int 0 1 2 in
   let t1 = time () in
-  let v0 = Int64.(floor (fdiv (to_float (sub t1 t0)) 1000000000.)) in
+  let v0 = Int64.(to_float (fdiv (sub t1 t0) 1000000000L)) in
   Format.printf "[select_int 0 1 2]:            %fs.\n%!" v0  ;
   let t0 = time () in
   let _  = select_int 2 1 0 in
   let t1 = time () in
-  let v1 = Int64.(floor (fdiv (to_float (sub t1 t0)) 1000000000.)) in
+  let v1 = Int64.(to_float (fdiv (sub t1 t0) 1000000000L)) in
   Format.printf "[select_int 2 1 0]:            %fs.\n%!" v1 ;
   if v0 = v1
   && int_of_float v0 = select_int_ops